23 offres d'emploi Stage Méthodes Formelles - |
|
Lieu : Levallois-Perret
Société : IKOS GROUP
L'objectif du stage :....à flots de données...Compétences recherchées :..il s'agira de développer un moteur de preuve dont le coeur serait la transformation de tout modèle HLL en un ensemble de formules exprimées en une logique compatible avec SMT-LIB (smt-lib),..
Postuler | Plus d'offres Stage Méthodes Formelles
Plus d'offres - Levallois-Perret |
Lieu : 1er Arrondissement
Société : Michael Page
..Expertise avancée en méthodes formelles,..méthodes formelles ou domaine connexe,..Maîtrise des langages de description de matériel (HDL),..
Postuler |
Lieu : Les Ulis
Société : Compagnie des Signaux - CSEE
de sécurité au cours des différentes phases du projet Participer à l'écriture des scripts de preuves formelles dans un langage de développement dédié Rédiger le catalogue de preuves et exécuter les campagnes de preuves formelles conformément aux règles de l'art ..
Postuler |
Lieu : France
Société : MICHAEL PAGE
la précision et la scalabilité des vérifications formelles,..Participer à des projets novateurs impactant la conception de puces et la vérification des systèmes/travailler aux côtés d'experts reconnus en méthodes formelles/un cadre stimulant avec de réelles opport..
Postuler |
Lieu : France
Société : SERMA Safety & Security
L'objectif du stage est de concevoir et d'implémenter des modèles d'IA capables d'automatiser l'analyse de cartes électroniques et d'identifier les composants qui la constitue...
Postuler |
Lieu : Paris
Société : SERMA Safety & Security
etc...une entreprise du Groupe SERMA :..PASSI LPM,..et expert des métiers de l'électronique et de la microélectronique,..
Postuler |
Lieu : Paris
Société : SERMA Safety & Security
simuler,..interconnections,..et tester des designs FPGA...La technicité est ancrée dans notre ADN...Vous interviendrez sur une architecture SoC avancée comprenant un co-design ASIC/FPGA sur laquelle vous participerez à la conception,..
Postuler |
Lieu : Toulouse
Société : SERMA Safety & Security
....TV) et/ou les méthodes formelles...est aujourd'hui reconnu par de grands industriels comme Alstom transport,..
Postuler |
|
Lieu : Biviers
Société : DASSAULT SYSTEMES
Scade) et des méthodes formelles de type model-checking Vous êtes en capacité de communiquer en anglais tant à l'écrit qu'à l'oral...
Postuler | Plus d'offres Ingénieur de recherche Stimulus H/F
Plus d'offres - Biviers |
Lieu : Montbonnot-Saint-Martin
Société : DASSAULT SYSTEMES
motivé.e par l'intégration de résultats de recherche dans un produit industriel...Ses solutions leaders sur le marché transforment pour ses clients,..
Postuler | Plus d'offres Ingénieur de recherche Stimulus H/F
Plus d'offres - Montbonnot-Saint-Martin |
Lieu : France
Société : SERMA Safety & Security
L'objectif du stage est de concevoir et d'implémenter des outils d'analyse avancée pour l'étude des signaux en temps/fréquence issus des communications sur des bus de données,..
Postuler |
Lieu : Ile-de-France
Société : ALTEN
Véritable partenaire des acteurs majeurs du secteur comme THALES,..MBDA,..technicité et proximité...Au sein du département Aéronautique,..
Postuler | Plus d'offres Ingénieur qualité logiciels H/F)
Plus d'offres - Ile-de-France |
Lieu : Valence 26000
Société : THALES
le centre de gravité mondial pour les activités avioniques hélicoptères de Thales.Stage de 6 mois à pourvoir à Valence.QUI ETES-VOUS ?Vous êtes en BAC+5 d’une formation spécialisée en électronique ou micro-électronique ?Vous maitrisez le développement VHDL et l’ana..
Postuler |
Lieu : Vélizy-Villacoublay 78129
Société : THALES
systèmes de protection,..intégration de la sécurité dans les projets,..rejoignez Thales et créez le monde de demain,..
Postuler | Plus d'offres Consultant Cybersécurité Gouvernance GRC H/F
Plus d'offres - Vélizy-Villacoublay |
Lieu : Lyon 69000
Société : THALES
la gestion des risques mais aussi de l’impact cyber des innovations tel que l’IA ou le quantiqueVos principales missions :Vous identifiez les risques par des méthodes formelles d'analyse de risques (EBIOS,..
Postuler | Plus d'offres Consultant Cybersécurité GRC (H/F)
Plus d'offres - Lyon |
Lieu : Toulouse 31000
Société : THALES
la gestion des risques mais aussi de l’impact cyber des innovations tel que l’IA ou le quantiqueVos principales missions :Vous identifiez les risques par des méthodes formelles d'analyse de risques (EBIOS,..
Postuler | Plus d'offres Consultant Cybersécurité GRC (H/F)
Plus d'offres - Toulouse |
Lieu : Lyon 69000
Société : THALES
la gestion des risques mais aussi de l’impact cyber des innovations tel que l’IA ou le quantique.Vos principales missions :Vous encadrez et animez une équipe de consultants Vous identifiez les risques par des méthodes formelles d'analyse de risques (EBIOS RM,..
Postuler | Plus d'offres Consultant Senior Cybersécurité GRC (H/F)
Plus d'offres - Lyon |
Lieu : St Chamond > Loire
Société : RANDSTAD INHOUSE LIN
- Participer à la définition process des moyens nécessaires à la tenue du plan de surveillance
- Assurer l'examen de tous plans des nouveaux projets en apportant son expertise Métrologie
- Créer et valider les programmes de contrôle (nomenclature,..
Postuler | Plus d'offres TECHNICIEN QUALITÉ CONTRÔLE H/F)
Plus d'offres - St Chamond |
Lieu : Champigny-sur-Marne
Société : LES NOUVEAUX HERITIERS LNH
de publier,..Formation :..Excellente Communication et Orthographe LES NOUVEAUX HÉRITIERS VOUS ACCOMPAGNENT Première rencontre avec Les Nouveaux Héritiers Deuxième rencontre avec la DRH ..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Champigny-sur-Marne |
Lieu : Rosny-sous-Bois
Société : LES NOUVEAUX HERITIERS LNH
Cette entreprise favorise un cadre de travail collaboratif avec un management horizontal,..Son atout majeur est son positionnement de grande maison historique et son rôle essentiel dans la préservation et la valorisation du patrimoine audiovisuel français...
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Rosny-sous-Bois |
Lieu : Fontenay-sous-Bois
Société : LES NOUVEAUX HERITIERS LNH
Pack Office Qualités :..Rigueur,..la méritocratie,..CE QUI FAIT SA DIFFÉRENCE Notre entreprise partenaire a pour mission principale de produire,..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Fontenay-sous-Bois |
Lieu : Noisy-le-Grand
Société : LES NOUVEAUX HERITIERS LNH
CE QUI FAIT VOTRE DIFFÉRENCE ?..Cette entreprise favorise un cadre de travail collaboratif avec un management horizontal,..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Noisy-le-Grand |
Lieu : Bry-sur-Marne
Société : LES NOUVEAUX HERITIERS LNH
..Intérim de 3 mois renouvelable...CE QUI FAIT VOTRE DIFFÉRENCE ?..Excellente Communication et Orthographe LES NOUVEAUX HÉRITIERS VOUS ACCOMPAGNENT Première rencontre avec Les Nouveaux Héritiers Deuxième rencontre avec la DRH ..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Bry-sur-Marne |
|
